منابع مشابه
Veränderungen über einen
We classify quadratic SL2(K)and sl2(K)-modules by crude computation, generalizing in the first case a Theorem proved independently by F.G. Timmesfeld and S. Smith. The paper is the first of a series dealing with linearization results for abstract modules of algebraic groups and associated Lie rings.
متن کاملVeränderungen über einen Satz von Timmesfeld - I. Quadratic Actions
We classify quadratic SL2(K)and sl2(K)-modules by crude computation, generalizing in the first case a Theorem proved independently by F.G. Timmesfeld and S. Smith. The paper is the first of a series dealing with linearization results for abstract modules of algebraic groups and associated Lie rings.
متن کاملÜber die Effizienz des Automatischen Testens
Wir analysieren die Effizienz des zufälligen und systematischen Ansatzes zum automatischen Programmtesten. Dabei nutzen wir wenige, einfache, jedoch realistische Annahmen um ein generelles probabilistisches Modell für das Softwaretesten zu entwickeln. Die zwei wichtigsten Ziele des automatischen Softwaretestens sind (i) in minimaler Zeit mit einem gewissen Zuversichtsgrad x festzustellen, daß d...
متن کاملEin in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen
In [9] wurden mehrere Beweise ffir die Unbeweisbarkeit von kombinatorischen S/itzen in gewissen formalen Systemen ausgeftihrt. Hierbei handelt es sich u.a. um einen in Erweiterung des Kruskalschen Satzes yon Friedman [5] bewiesenen Satz fiber markierte endliche B/iume, der in einem formalen System//~ CAo mit/-/lKomprehension nicht beweisbar ist. Sowohl der ursprfingliche Beweis yon Friedman als...
متن کاملErfahrungsbericht über einen Spezifikationsprozess mit einem bunten Reigen an Methoden und Notationen
1. Einleitung Im folgenden werden die Erfahrungen aus dem Spezifikationsprozess von zwei Projekten vorgestellt. Dabei wurde in dem einen Projekt ein geschäftsorientiertes System, in dem anderen Projekt ein technikbasiertes System spezifiziert. Bei beiden Projekten war das Vorgehen gleich. Die Beschreibung des Spezifikationsprozesses beschränkt sich auf vier Bausteine: (1) eingesetzte Methoden f...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Acta Mathematica
سال: 1916
ISSN: 0001-5962
DOI: 10.1007/bf02418550